home *** CD-ROM | disk | FTP | other *** search
/ Shareware Grab Bag / Shareware Grab Bag.iso / 090 / prolog1.arc / BENCH.PRO < prev    next >
Encoding:
Text File  |  1985-06-04  |  768 b   |  27 lines
  1. /*
  2. Concatentate strings, using append. If the below is asked, 
  3.  
  4. ?-append( "ABC", "DEF", X ), append( "123", X, Y ), append( Y, "XYZ", Z ),
  5.   printstring( Z ).
  6.  
  7.   you will get: Z = "123ABCDEFXYX", printed out as a list of ASCII codes. */
  8.  
  9. append( [], L, L ).
  10. append( [Z|L1], L2, [Z|L3] ) :- append( L1, L2, L3 ).
  11. printstring( [] ).
  12. printstring( [H|T] ) :- put( H ), printstring( T ).
  13.  
  14.  
  15. lips(L) :- rev( [1,2,3,4,5,6,7,8,9,0,11,12,13,14,15,16,17,18,19,20,
  16.               21,22,23,24,25,26,27,28,29,30], L ).
  17.  
  18.  
  19. lip(L) :- rev( [1,2,3,4], L ).
  20.  
  21. l(L) :-   rev( [1,2], L ).
  22.  
  23. l1(L) :- rev( [1], L ).
  24.  
  25. rev( [], [] ).
  26. rev( [H|T], L ) :- rev( T,Z), append( Z, [H], L ).
  27.